1. Specifying message passing and time-critical systems with temporal logic
پدیدآورنده: Koymans, Ron
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Data transmission systems,، Logic, Symbolic and mathematical
رده :
TK
5105
.
K69
1992


2. Specifying message passing and time-critical systems with temporal logic
پدیدآورنده: Koymans, Ron, 9591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Data transmission systems,، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
651

